Dimitra Giannakopoulou: Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Springer International Publishing;Springer

Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

সাল:

2020

ভাষা:

english

ফাইল:

PDF, 22.53 MB

0 / 0

english, 2020

2

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 7.16 MB

0 / 0

english, 2012

3

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 6.81 MB

0 / 0

english, 2011

4

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings

Springer International Publishing

Dimitra Giannakopoulou, Gwen Salaün (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 6.17 MB

0 / 0

english, 2014

5

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Springer International Publishing

Dimitra Giannakopoulou, Daniel Kroening (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 15.10 MB

0 / 0

english, 2014

6

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 7.15 MB

0 / 0

english, 2011

7

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 8.61 MB

0 / 0

english, 2011